Search results
Semina Scientiarum > 2012 > 11
Dialogue and Universalism > 2023 > 1 > 143-161
Bulletin of the Section of Logic > 2020 > 49 > 3 > 291-324
Soft Computing > 2019 > 23 > 24 > 12929- 12935
Journal of Logic, Language and Information > 2019 > 28 > 3 > 389-426
Logica Universalis > 2018 > 12 > 1-2 > 83-100
Progress in Biophysics and Molecular Biology > 2017 > 131 > C > 348-353
Quantum Studies: Mathematics and Foundations > 2018 > 5 > 2 > 351-355
Axiomathes > 2018 > 28 > 2 > 201-217
Archive for Mathematical Logic > 2018 > 57 > 3-4 > 361-380
Archive for Mathematical Logic > 2017 > 56 > 5-6 > 585-605
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1011-1037
Journal of Philosophical Logic > 2017 > 46 > 4 > 419-441
Journal of Applied Logic > 2016 > 16 > C > 111-127
Lecture Notes in Computer Science > Computational Science — ICCS 2003 > Track on Applications > 109-119